Active Automata Learning in Practice An Annotated Bibliography of the Years 2011 to 2016 Falk Howar1 and Bernhard Steffen2 1 Dortmund University of Technology and Fraunhofer ISST, Dortmund, Germany

Source URL: www.falkhowar.de

• Finite automata
• Machine learning
• Artificial intelligence
• Dana Angluin
• Finite-state machine
• Active learning
• Theoretical computer science
• Formal languages
• Learning
• Model checking
• Cellular automata
• Induction of regular languages

Multi-Objective Parameter Fitting in Parametric Probabilistic Hybrid Automata — Learning to Mine and Exploit PAC Formal Models — Martin Fränzle1 joint work with

Source URL: www.cse.iitb.ac.in

Generation of Failure Models through Automata Learning [Position Paper] Sebastian Kunze, Wojciech Mostowski, Mohammad Reza Mousavi, Mahsa Varshosaz Centre for Research on Embedded Systems, Halmstad University, Sweden {s

Source URL: ceres.hh.se

Learning Probabilistic Automata: A Study In State DistinguishabilityI Borja Ballea,∗, Jorge Castroa , Ricard Gavald`aa a Departament de Llenguatges i Sistemes Inform`

Source URL: borjaballe.github.io

Radboud University Nijmegen Master Thesis Computer Science Applying Automata Learning to Complex Industrial Software by

Source URL: www.mbsd.cs.ru.nl

JMLR: Workshop and Conference Proceedings 21:254–258, 2012 The 11th ICGI Simple Variable Length N-grams for Probabilistic Automata Learning

Source URL: jmlr.csail.mit.edu

Active Automata Learning: From DFA to Interface Programs and Beyond or From Languages to Program Executions or (more technically) The Power of Counterexample Analysis

Source URL: www.connect-forever.eu

• Digital audio
• Digital audio recording
• Multiplexing
• Pulse-code modulation
• Rational Software
• Data modeling
• Extrapolation
• Economic model

Learning Regular Omega Languages Dana Angluin1? and Dana Fisman2?? 1 2

Source URL: www.cis.upenn.edu

• Finite automata
• Formal languages
• Theoretical computer science
• -automaton
• Omega language
• Regular language
• Muller automaton
• Constructible universe
• Symbol
• DFA minimization
• Mathematics
• Omega-regular language

Towards Machine Learning on the Automata Processor Tommy Tracy II1? , Yao Fu2? , Indranil Roy3 , Eric Jonas4 , and Paul Glendenning2 1

Source URL: cap.wpengine.com

Learning Finite Automata Using Label Queries LEV REYZIN YALE UNIVERSITY  YAHOO! RESEARCH DANA ANGLUIN

Source URL: www.levreyzin.com

• Dana Angluin
• Virgili